/*
File: vclock.c
Author: Joseph Hare (joseph.hare@gmail.com)
Description: This file is the implementation of the vector clock for sar-os.
*/
#include "vclock.h"
